(Solving the chalkboard formula)